Improving the observability and controllability of datapaths foremulation-based debugging

نویسندگان

  • Darko Kirovski
  • Miodrag Potkonjak
  • Lisa M. Guerra
چکیده

Growing design complexity has made functional debugging of application-specific integrated circuits crucial to their development. Two widely used debugging techniques are simulation and emulation. Design simulation provides good controllability and observability of the variables in a design, but is two to ten orders of magnitude slower than the fabricated design. Design emulation and fabrication provide high execution speed, but significantly restrict design observability and controllability. To facilitate debugging, and in particular error diagnosis, we introduce a novel cut-based functional debugging paradigm that leverages the advantages of both emulation and simulation. The approach enables the user to run long test sequences in emulation, and upon error detection, roll-back to an arbitrary instance in execution time, and transparently switch over to simulation-based debugging for full design visibility and controllability. The new debugging approach introduces several optimization problems. We formulate the optimization tasks, establish their complexity, and develop most-constrained least-constraining heuristics to solve them. The effectiveness of the new approach and accompanying algorithms is demonstrated on a set of benchmark designs where combined emulation and simulation is enabled with low hardware overhead.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ON CONTROLLABILITY AND OBSERVABILITY OF FUZZY CONTROL SYSTEMS

In order to more effectively cope with the real world problems of vagueness, imprecise and subjectivity, fuzzy event systems were proposed recently. In this paper, we investigate the controllability and the observability property of two systems that one of them has fuzzy variables and the other one has fuzzy coefficients and fuzzy variables (fully fuzzy system). Also, sufficient conditions for ...

متن کامل

A Quantitative Approach to Functional Debugging

Functional debugging dominates both development time and cost of modern design process. Two dominant debugging techniques are simulation and emulation. Neither of them provides an adequate debugging solution. Design simulation is two to ten orders of magnitude slower than functional execution with respect to the fabricated design. Design emulation and fabrication provide high execution speed, b...

متن کامل

Design-For-Debugging of Application Specific Designs

Debugging can be defined as a process of identifying and correcting errors made during functional specification by observing the functional behavior of the design. It often dominates time and cost of integrated circuits and system development. In modern ASIC designs debugging is particularly difficult problem due to very limited controllability and observability of intermediate variables during...

متن کامل

Using Design-Level Scan to Improve FPGA Design Observability and Controllability for Functional Verification

This paper describes a structured technique for providing full observability and controllability for functionally debugging FPGA designs in hardware, capabilities which are currently not available otherwise. Similar in concept to flip-flop scan chains for VLSI, our design-level scan technique includes all FPGA flip-flops and RAMs in a serial scan chain using FPGA logic rather than transistor lo...

متن کامل

Cut-based functional debugging for programmable systems-on-chip

Due to the growth of both design complexity and the number of gates per pin, functional debugging has emerged as a critical step in the development of a system-on-chip (SOC). Traditional approaches, such as system emulation and simulation, are becoming increasingly inadequate to address the system debugging needs. Design simulation is two to ten orders of magnitude slower than emulation and, th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • IEEE Trans. on CAD of Integrated Circuits and Systems

دوره 18  شماره 

صفحات  -

تاریخ انتشار 1999